| 1. | Limited reason and the arrangement for the transition system
有限理性和过渡性制度安排 |
| 2. | Control chaos in transition system using sampled - data feedback
一个过渡混沌吸引子的单参数采样数据反馈控制 |
| 3. | Design and implementation of data transition system based on mobilink technology
技术的数据传输系统设计与实现 |
| 4. | The real - space renormalization group approach is close to fractal and is widely used in geometric phase transition systems without hamilton , for example , percolation model , rock fracture model , flit ant model
实空间重整化群方法与分形有密切的关系，在不具有哈密顿的几何相变系统，如渗流，岩裂，自回避无规行走等模型广泛地被应用。 |
| 5. | The real - space ( or position - space ) renormalization group method is close to fractal and is widely used in geometric phase transition systems without hamilton , for example , seepage , lattice animal and random walk
实空间(位置空间)重整化群方法与分形有密切的关系，在不具有哈密顿的几何相变系统，如渗流，晶格动物，无规行走等广泛地被应用。 |
| 6. | After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。 |
| 7. | Compared with traditional approaches based on standard labelled transition system ( lts ) , stga preserves important structural information which has a great impact on test sequence selection . as a consequence , the stga - based method has significant advantage in test sequence selection
与传统的基于标号：迁移系统lts的方法相比， stga中保留了对测试同步序列的选取有重要影响的结构信息，因此有利于高效率同步序列的选取。 |
| 8. | The envisaged application area is the development of real - time systems . on the other hand , it is convenient to describe the temporal relations using process descrption . in this paper , is discussed for translating description of process description language to z specifiation , and temporal status transition system is used as intermediary
另一方面，使用过程描述语言可以方便的描述时序关系，在本文中，我们也讨论了这种非集成的扩展方式，它能够利用时序状态转换系统将过程描述语言转换为z规格。 |
